Chairman?s Editorial: Control Alt Delete

SMT Techniques and their Applications: from Alt-Ergo to Cubicle

Public Health and Mortality: What Can We Learn from the Past?

and the conference participants for extensive comments. We thank Jacqueline del Castillo for excellent research assistance.

Resumen de Tesis: Redes bayesianas para el ajuste de parámetros de algoritmos genéticos usados en problemas de satisfacción de restricciones geométricas

Resumen En esta Tesis se desarrolla un sistema para el ajuste de parámetros de un algoritmo que resuelve un problema, teniendo en consideración las características relevantes de cada instancia del problema a resolver. El sistema utiliza redes bayesianas como formalismo para modelar, cualitativa y cuantitativamente, las relaciones de dependencia entre los parámetros de interés y utiliza la metod...

DIANA: Análisis del discurso para la comprensión del conocimiento

DIANA is a coordinated Project involving the research group of Ingeniería del Lenguaje Natural y Reconocimiento de Formas (ELiRF) of the Universitat Politècnica de València and the research group of Centre de Llenguatge i Computació (CliC) of the Universitat de Barcelona. This is an R&D project (TIN2012-38603) funded by the Spanish Ministry of Economy and Competitiveness. Paolo Rosso coordinate...

On Delete Cascade